<html>
<body>
<h1>Queries Menu</h1>

<p>The queries menu is used to save and load the
<a href="@Requirements">requirement specification</a> used in the
<a href="@Verifier/Introduction">verifier</a> of UPPAAL2k. The items are:
<ul>
<li><b>New Queries:</b> re-initiates the requirement specification
  editor with an empty file.
<li><b>Open Queries:</b> loads an existing set of requirement 
  specifications from file.
<li><b>Save Queries:</b> saves the requirement specifications in
  the editor to file.
<li><b>Save Queries As:</b> saves the requirement specifications
  in the editor to a specified file name.
</ul>
</body>
</html>
